As public administrations adopt artificial intelligence (AI), we see this transition has the potential to transform public service and public policies, by offering a rapid turnaround on decision making and service delivery. However, a recent series of criticisms have pointed to problematic aspects of mainstreaming AI systems in public administration, noting troubled outcomes in terms of justice and values. The argument supplied here is that any public administration adopting AI systems must consider and address ambiguities and uncertainties surrounding two key (...) dimensions: the algorithms’ results, and how public managers make decisions for and about AI systems’ design. The article is based on bibliographic research in institutional theory perspective that relates the design of AI systems and relevant literature on the decision-making process in public policy. The main finding is to explain why autonomous decision systems continue to reproduce ambiguities and uncertainties when applied in public administration and propose a reflection on AI governance in public administration. This article points to the need for design institutions that immerse themselves in understanding the nuances, details, and potential outcomes of AI governance for public administration. Such institutions would reconcile consequentialist logic with a logic of appropriateness to help navigate and mediate ambiguities and uncertainties. (shrink)

Este artículo utiliza el caso de al-Andalus para discutir las diferencias entre historia y memoria, y su proyección en los debates políticos e identitarios contemporáneos. Tal discusión me permite, también, explorar diferentes formas de construcción de temporalidad ligadas a distintas maneras de gestión del pasado.

Aunque con cierta frecuencia se ha hablado de la influencia del «Tratado sobre la libertad»de Schelling sobre la metafísica de Schopenhauer, la tradición apenas ha prestado atención a losnumerosos pero muy dispersos materiales, publicados e inéditos, que conciernen a la relación y lapolémica de Schopenhauer con dicho tratado. El artículo ofrece una exposición ordenada de talesmateriales, mostrando cuáles fueron las objeciones fundamentales de Schopenhauer al escrito y tratandode determinar la motivación última de la polémica. Asimismo, se comentan las declaraciones del (...) propioSchopenhauer con respecto a la supuesta influencia, ofreciendo claves para una interpretación de lasmismas distinta a la usual. (shrink)

In Frege’s logicism, numbers are logical objects in the sense that they are extensions of certain concepts. Frege’s logical system is inconsistent, but Richard Heck showed that its restriction to predicative quantification is consistent. This predicative fragment is, nevertheless, too weak to develop arithmetic. In this paper, I will consider an extension of Heck’s system with impredicative quantifiers. In this extended system, both predicative and impredicative quantifiers co-exist but it is only permissible to take extensions of concepts formulated in the (...) predicative fragment of the language. This system is consistent. Moreover, it proves the principle of reducibility applied to concepts true of only finitely many objects. With the aid of this form of reducibility, it is possible to develop arithmetic in a thoroughly Fregean way. (shrink)

When, on December 7, 2000, the European Parliament, the Council and the Commission proclaimed solemnly in Nice the Charter of Fundamental Rights of the European Union, many thought that European integration was practically guaranteed and that the Charter would soon be made into a binding legal text. Since then, the two attempts to enact a European consitution – the Constitutional Treaty for the European Union of 2004 and the arguably less ambitious Treaty of Lisbon of 2007 – both failed. Further (...) efforts at unification have stagnated, in part due to the 2008 economic crisis and the European Union’s inability to coordinate responses to issues as serious as immigration, the refugee crisis, and terrorism. In this paper, I examine a theoretical counterpoint to that bleak perspective for European unification, to wit, Jürgen Habermas’ eurofederalist proposal of the postnational democracy and European constitutional patriotism. (shrink)

In finite type arithmetic, the real numbers are represented by rapidly converging Cauchy sequences of rational numbers. Ulrich Kohlenbach introduced abstract types for certain structures such as metric spaces, normed spaces, Hilbert spaces, etc. With these types, the elements of the spaces are given directly, not through the mediation of a representation. However, these abstract spaces presuppose the real numbers. In this paper, we show how to set up an abstract type for the real numbers. The appropriateness of our construction (...) works in tandem with the bounded functional interpretation. (shrink)

Na atualidade, parece não haver nenhuma outra categoria que goze de unanimidade tão generalizada e transversal, quanto o de pessoa. Nenhum discurso que pretenda estar em público de forma teórico, jurídico e politicamente correta coloca em questão sua nobreza, principalmente em seu nexo com o direito. Os direitos da pessoa são justamente sobre o quê não se deve tergiversar. No entanto, há um paradoxo incontornável do nosso tempo: nunca como agora, a nobreza da categoria de pessoa foi tão incensada, mas (...) também nunca como agora, tantas vidas humanas foram tão humilhadas pela fome, miséria, epidemias, exílios, etc. O objetivo desse texto é seguir uma trilha já aberta por alguns pensadores de matriz franco-italiana de crítica a essa unanimidade. (shrink)

Contemporary political theories have made significant progress toward identifying the principles for an egalitarian society. From this perspective, Edward Bellamy's radical and pluralistic egalitarianism can be read not only as a relevant precedent but as a source of sophisticated arguments capable of enriching current debates. Although unfairly overlooked as theoretical works, Bellamy's utopias can be read today as offering insights that bring together and combine key modern ideals of liberty, equality, and fraternity. Therefore, this article argues that Bellamy's conception of (...) equality involves several dimensions and functions as a background condition for effective freedoms; that these liberties are not at odds with voluntary equality; and that fraternity—understood in Rawlsian terms—makes sense in a free and equal soci- ety, as it is guaranteed both by institutional means and by personal decisions. (shrink)

The “surge in use of finite-state methods” ([10]) in computational linguistics has largely, if not completely, left semantics untouched. The present paper is directed towards correcting this situation. Techniques explained in [1] are applied to a fragment of temporal semantics through an approach we call finite-state temporality. This proceeds from the intuition of an event as “a series of snapshots” ([15]; see also [12]), equating snapshots with symbols that collectively form our alphabet. A sequence of snapshots then becomes a string (...) over that alphabet, evoking comic/film strips. Jackendoff has, among others, objected to conceptualizing events in terms of snapshots ([8]). To counter these objections, we step up from events-as-strings to event-typesas-regular languages ([5, 6]), recognizing the need for variable granularity. Beyond the introduction of disjunction implicit in the step from a single string up to a set of strings, we obtain a useful logic from the regular operations and a careful choice of the snapshots (constituting our alphabet). (shrink)

String representations of events are applied to Robin Cooper’s proposal that propositions in natural language semantics are types of situations. Links with the higher types of prooftheoretic semantics are forged, deepening type-theoretic interpretations of Discourse Representation Structures to encompass event structures.

Behind every Utopia there is always a territory, but a territory that “is not here”, a territory removed from immediate reality in space or in time. In time, when the Utopia invokes the past of an Age of Gold or a Paradise Lost “illo tempore,” but also when there is a gamble with the hope of a better world to be organized in the future. These are “ideal times” or “longed-for times,” past or future of which philosophers, writers or political (...) men speak. (shrink)

The documents published about sociology in the files between 1990 and 1999 are analyzed. The following topics are observed: distribution for years, countries, languages, types of documents, topics treated and journals in which the studies are published. At the same time the different institution..

A obra cultural, política e social de Leonardo Coimbra é a temática principal deste livro. De permeio é dada nota dos grandes traços e momentos da história da Primeira República Portuguesa, isso na justa dimensão em que tal ajuda à contextualização e melhor compreensão do objecto principal. O estudo desta extraordinária e multifacetada personalidade – filósofo, homem de ciência, escritor, orador exímio, pedagogo, político – e a análise da sua relação crítica com os poderes instituídos durante o período histórico em (...) apreço, dá-nos conta da enorme distância entre os projectos e intenções do movimento republicano e a obra social efectivamente conseguida pelo regime, ao mesmo tempo que se retratam as vicissitudes e os condicionamentos que a um tal resultado conduziram. Republicano de todas as horas, Leonardo nunca deixou de verberar no republicanismo aquilo que considerava serem erros de essência e de forma, desde os postulados positivistas até às lutas fratricidas em que, insensatamente, se empenharam os filhos da República. Mas também a sua palavra, celebrando momentos de heroicidade, de união, de glória, sobretudo um tributo ao povo republicano, ao povo humilde das grandes cidades, que tão abnegadamente amou a República e por ela se bateu. Uma chamada de atenção para um trajecto espiritual percorrido por esta figura de livre-pensador que, pouco a pouco, se foi aproximando de um cristianismo católico, acabando por se converter oficialmente a esta fé, uma semana antes da sua trágica morte. Fica-nos, por fim, o conhecimento da obra cultural de Leonardo e a perpetuação da mesma, primeiramente através de uma geração de discípulos que, de perto, privou com o Mestre e depois os discípulos dos discípulos, ou seja, uma segunda geração de seguidores, todos unidos pela figura e pelo legado cultural de Leonardo Coimbra, a quem alguém chamou, com felicidade, “Mestre dos Mestres”. (shrink)

This course aims to assess the principle of compositionality (CP) and how it fits with recent developments in natural language interpretation, especially those that stress the role of context. We first try to lay down a suitable formal framework for CP, reviewing proposals by Montague, Janssen, Hendriks, Kracht and Hodges. Versions of CP of varying strength are formulated, and some recent results on the existence of compositional semantics and the (much debated) issue of the empirical import of CP discussed. Complementing (...) CP is the notion of context which, under modern (e.g. "dynamic") conceptions, not only conditions interpretation but also is transformed during interpretation. The tension between CP and context is examined relative to problems of anaphora, presupposition, idioms and ambiguity. A somewhat un-orthodox computational application of CP is suggested, emphasizing co-inductive aspects of interpretation that cut across the divide between model-theoretic and proof-theoretic approaches, and between procedural and declarative styles. (shrink)

O texto faz uma reflexão teórica a partir de Benjamin, Arendt, Foucault e Agamben. Em um primeiro momento faz-se uma análise da assertiva benjamineana de que “tornamo-nos muito pobres de experiências liminares”. Em seguida associamos essa idéia de “aniquilamento das transições” à idéia de homogeneidade e efemeridade da experiência urbana contemporânea. A partir desse ponto o texto articula essa homogeneidade com uma idéia de empobrecimento da esfera do comum, ou seja, do político, em prol de uma “gestão de necessidades”: a (...) gestão como sucedânea do político, que se refletiria na produção contemporânea do espaço e na “construção do comum”. (shrink)

Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility relations of the kind studied in many-dimensional modal logic, modulo complications from constraints between translation and entailment (violations in which may trigger re-attunement) and from refinement and underspecification.

We give an elementary proof of the strong normalization of the atomic polymorphic calculus Fat.

En este trabajo nos proponemos defender una versión de la tesis de la �mente extendida� frente a las críticas de algunos autores para quienes los sistemas que llaman �extracraneales� no cumplirían las condiciones que deben cumplir los componentes de los procesos mentales. Proponemos la integración de funciones como un criterio para considerar un conjunto de procesos como un proceso mental. Desde este punto de vista, consideramos que, en ciertas situaciones, algunos sistemas externos podrían llegar a cumplir este criterio.